Delete flask tools build target and add to .hgignore.
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Thu, 6 Sep 2007 10:23:43 +0000 (11:23 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Thu, 6 Sep 2007 10:23:43 +0000 (11:23 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
.hgignore
tools/flask/loadpolicy/flask-loadpolicy [deleted file]

index 2f1962d1a0b08d4a6582810bf2dfbdeb464e8198..434d5d187fad985c2056b10ce799e1871d4e05af 100644 (file)
--- a/.hgignore
+++ b/.hgignore
 ^tools/firmware/vmxassist/gen$
 ^tools/firmware/vmxassist/offsets\.h$
 ^tools/firmware/vmxassist/vmxassist$
+^tools/flask/loadpolicy/flask-loadpolicy$
 ^tools/ioemu/\.pc/.*$
 ^tools/ioemu/config-host\.h$
 ^tools/ioemu/config-host\.mak$
diff --git a/tools/flask/loadpolicy/flask-loadpolicy b/tools/flask/loadpolicy/flask-loadpolicy
deleted file mode 100755 (executable)
index 61a0c80..0000000
Binary files a/tools/flask/loadpolicy/flask-loadpolicy and /dev/null differ